Indestructibility and destructible measurable cardinals

نویسنده

  • Arthur W. Apter
چکیده

Say that κ’s measurability is destructible if there exists a <κ-closed forcing adding a new subset of κ which destroys κ’s measurability. For any δ, let λδ =df The least beth fixed point above δ. Suppose that κ is indestructibly supercompact and there is a measurable cardinal λ > κ. It then follows that A1 = {δ < κ | δ is measurable, δ is not a limit of measurable cardinals, δ is not δ+ strongly compact, and δ’s measurability is destructible when forcing with partial orderings having rank below λδ} is unbounded in κ. On the other hand, under the same hypotheses, A2 = {δ < κ | δ is measurable, δ is not a limit of measurable cardinals, δ is not δ+ strongly compact, and δ’s measurability is indestructible when forcing with either Add(δ, 1) or Add(δ, δ+)} is unbounded in κ as well. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two distinct models in which either A1 = ∅ or A2 = ∅. In each of these models, both of which have restricted large cardinal structures above κ, every measurable cardinal δ which is not a limit of measurable cardinals is δ+ strongly compact, and there is an indestructibly supercompact cardinal κ. In the model in which A1 = ∅, every measurable cardinal δ which is not a limit of measurable cardinals is ∗2010 Mathematics Subject Classifications: 03E35, 03E55. †

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

3 A ug 1 99 8 Universal Indestructibility

From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal κ is fully indestructible by <κ-directed closed forcing. Such a state of affairs is impossible with two supercompact cardinals or even with a cardinal which is supercompact beyond a measurable cardinal. Lave...

متن کامل

Indestructibility, Strong Compactness, and Level by Level Equivalence

We show the relative consistency of the existence of two strongly compact cardinals κ1 and κ2 which exhibit indestructibility properties for their strong compactness, together with level by level equivalence between strong compactness and supercompactness holding at all measurable cardinals except for κ1. In the model constructed, κ1’s strong compactness is indestructible under arbitrary κ1-dir...

متن کامل

On the indestructibility aspects of identity

We investigate the indestructibility properties of strongly compact cardinals in universes where strong compactness suffers from identity crisis. We construct an iterative poset that can be used to establish Kimchi-Magidor theorem from [22], i.e., that the first n strongly compact cardinals can be the first n measurable cardinals. As an application, we show that the first n strongly compact car...

متن کامل

Indestructibility, measurability, and degrees of supercompactness

Suppose that κ is indestructibly supercompact and there is a measurable cardinal λ > κ. It then follows that A1 = {δ < κ | δ is measurable, δ is not a limit of measurable cardinals, and δ is not δ+ supercompact} is unbounded in κ. If in addition λ is 2λ supercompact, then A2 = {δ < κ | δ is measurable, δ is not a limit of measurable cardinals, and δ is δ+ supercompact} is unbounded in κ as well...

متن کامل

Strongly unfoldable cardinals made indestructible

Strongly Unfoldable Cardinals Made Indestructible by Thomas A. Johnstone Advisor: Joel David Hamkins I provide indestructibility results for weakly compact, indescribable and strongly unfoldable cardinals. In order to make these large cardinals indestructible, I assume the existence of a strongly unfoldable cardinal κ, which is a hypothesis consistent with V = L. The main result shows that any ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Arch. Math. Log.

دوره 55  شماره 

صفحات  -

تاریخ انتشار 2016